4.91/5.42	unsat
