12.19/13.84	unsat
