19.15/21.88	unsat
