13.36/16.86	unsat
