1.68/4.03	unsat
