19.34/19.43	unsat
