4.92/8.08	unsat
