19.05/21.37	unsat
