19.37/21.03	unsat
