12.21/12.84	unsat
