17.56/20.01	unsat
