13.97/14.01	unsat
