5.22/7.42	unsat
