5.73/8.14	unsat
