5.58/8.14	unsat
