14.07/19.56	unsat
