4.72/8.28	unsat
