2.68/4.45	unsat
