4.74/5.42	unsat
