15.46/16.83	unsat
