1.68/4.65	unsat
