7.29/8.47	unsat
