2.60/3.03	unsat
