1.68/4.41	unsat
