14.46/16.42	unsat
