18.76/20.72	unsat
