2.58/3.03	unsat
