2.62/3.45	unsat
