5.17/7.42	unsat
