4.89/4.97	unsat
