13.76/17.08	unsat
