1.68/3.81	unsat
