13.49/14.76	unsat
