4.97/5.91	unsat
