11.77/13.87	unsat
