2.62/3.03	unsat
