7.74/8.56	unsat
