5.57/8.30	unsat
