11.97/12.08	unsat
