10.57/11.41	unsat
