13.95/17.33	unsat
