4.88/8.56	unsat
