10.18/11.41	unsat
