5.59/7.30	unsat
