0.78/1.03	unsat
