4.90/7.19	unsat
