18.56/20.46	unsat
