5.69/7.50	unsat
