4.95/5.97	unsat
