5.32/5.42	unsat
