14.36/14.47	unsat
