8.26/8.37	unsat
