5.72/8.51	unsat
