2.58/3.39	unsat
