4.92/4.97	unsat
