19.34/19.56	unsat
