12.69/12.84	unsat
