18.74/20.11	unsat
