13.87/17.30	unsat
