10.37/10.42	unsat
