13.66/15.87	unsat
