19.34/19.91	unsat
