20.06/21.82	unsat
