11.46/12.91	unsat
