7.18/8.14	unsat
