13.66/13.73	unsat
