12.66/14.83	unsat
