13.26/14.19	unsat
