18.56/20.07	unsat
