2.98/3.03	unsat
