12.24/12.83	unsat
