4.97/5.42	unsat
