5.58/7.50	unsat
