17.56/20.23	unsat
