2.58/3.95	unsat
