1.68/3.91	unsat
