4.96/8.19	unsat
