5.78/7.14	unsat
