4.97/6.41	unsat
