19.43/19.56	unsat
