5.31/5.42	unsat
