13.96/19.01	unsat
