12.97/17.33	unsat
