10.27/10.41	unsat
