4.43/7.26	unsat
