19.34/19.47	unsat
