19.26/21.38	unsat
