5.78/5.91	unsat
