19.26/20.68	unsat
