13.66/13.76	unsat
