5.78/8.19	unsat
