1.69/4.28	unsat
