19.34/19.40	unsat
