5.79/7.19	unsat
