17.56/20.61	unsat
