0.68/1.03	unsat
