13.87/17.01	unsat
