13.85/17.30	unsat
