18.76/20.88	unsat
