11.48/11.90	unsat
