2.68/3.03	unsat
